Automated reasoning - PDFSEARCH.IO - Document Search Engine

Automated reasoning
Results: 284

#	Item
71	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Verified Compilation of Floating-Point Computations Sylvie Boldo · Jacques-Henri Jourdan · Add to Reading List Source URL: www.lri.fr Language: English - Date: 2014-12-04 07:10:42 Computer arithmetic Computing Computer architecture IEEE floating point Double-precision floating-point format Long double Extended precision C99 Single-precision floating-point format SSE2 Strictfp Normal number
72	Introduction to Modal and Temporal Logic c Rajeev Gore´ Automated Reasoning Group Computer Sciences Laboratory Australian National University Add to Reading List Source URL: ssll.cecs.anu.edu.au Language: English - Date: 2009-01-19 22:48:26
73	REPRESENTING AND REASONING ABOUT VIDEOGAME MECHANICS FOR AUTOMATED DESIGN SUPPORT A Thesis Presented to The Academic Faculty Add to Reading List Source URL: www.kmjn.org Language: English - Date: 2016-06-17 09:59:02 Anchorhead Expressive Intelligence Studio Windows games Game design Ian Bogost Gameplay Noah Wardrip-Fruin Grand Theft Auto V Video game
74	Scalable Distributed OWL Reasoning for the Semantic Web Introduction The Semantic Web [1] is an extension of the traditional Web whereby data on the Web can have a meaning and hence can be processed by automated intellig Add to Reading List Source URL: omerio.com Language: English - Date: 2016-05-15 05:15:57
75	CTP-based programming languages ? Considerations about an experimental design Florian Haftmann Cezary Kaliszyk Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-07-03 11:12:42 Theoretical computer science Automated theorem proving Logic in computer science Proof assistants Formal methods Isabelle Type theory HOL Automated reasoning Computer algebra system Vienna Development Method Software development
76	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Conjecture Synthesis for Inductive Theories Moa Johansson · Lucas Dixon · Alan Bundy Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-02-21 13:20:56 Logic programming Constraint programming Logical consequence Statements Theorem Unification Lambda calculus Constraint logic programming Constraint satisfaction
77	Automated Reasoning and Program Verification ´ Laura Kovacs TU Vienna SMT questions - where are we now? Add to Reading List Source URL: www.complang.tuwien.ac.at Language: English - Date: 2015-03-19 06:23:17
78	FroCoS 2013 Frontiers of Combining Systems Tableaux 2013 Automated Reasoning with Analytic Tableaux and Related Methods Add to Reading List Source URL: tableaux13.loria.fr Language: English - Date: 2013-09-12 10:43:52
79	Automated Reasoning and Program Verification ´ Laura Kovacs TU Vienna Outline Add to Reading List Source URL: www.complang.tuwien.ac.at Language: English - Date: 2015-03-12 09:40:27
80	Automated reasoning under the theory H∗ (thesis abstract) Fritz Obermeyer February 23, 2009 In this thesis I study four extensions of untyped λ-calculi all under the maximally coarse semantics of Add to Reading List Source URL: fritzo.org Language: English - Date: 2014-11-27 11:35:14 Logic Mathematical logic Mathematics Model theory Logic in computer science Lambda calculus Models of computation Type theory Combinatory logic Theorem Structure Interpretation

UPDATE